logical axiom

逻辑公理